Der Lehrstuhl fⁿr Programmiersprachen und ▄bersetzer beschΣftigt sich mit den theoretischen und praktischen Aspekten der Programmierung sowohl auf der Systemseite als auch auf der Anwenderseite. Auf der Systemseite geh÷rt hierzu die formale Beschreibung der Syntax und Semantik von Programmiersprachen und der ▄bersetzerbau (Compilerbau), auf der Anwenderseite Spezifikationstechniken, Softwaretechnik (Software Engineering), Programmiersprachen, Programmiermethodik, Verifikation, Programmierumgebungen und Programmierwerkzeuge. Besonderes Gewicht wird darauf gelegt, da▀ die erlernten Techniken in Praktika intensiv geⁿbt werden k÷nnen.
Die Vorlesungen bauen teilweise aufeinander auf; dies ist im folgenden jeweils gesondert angegeben. Voraussetzung fⁿr Prⁿfungen ist in der Regel der Erwerb des entsprechenden ▄bungsscheins.
Die folgenden Lehrveranstaltungen werden angeboten:
| Titel | SWS | Semester |
| Softwaretechnik | 3+2 | 4 |
| Softwaretechnikpraktikum | 4 | ab 5 |
| Konzepte von Programmiersprachen | 3+2 | 5 |
| Compilerbau I | 3+2 | 5 |
| Compilerbau II | 3+2 | 6 |
| Grundlagen der funktionalen Programmierung | 3+2 | ab 5 |
| Semantik von Programmiersprachen | 3+2 | ab 5 |
| Algebraische Software-Spezifikation | 3+2 | ab 5 |
| Oberseminar Programmierung | 2 | ab 7 |